Alan Bundy - PDFSEARCH.IO - Document Search Engine

Alan Bundy
Results: 69

#	Item
31	Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic Lucas Dixon and Alan Smaill and Alan Bundy School of Informatics, University of Edinburgh, UK {L.Dixon, A.Smaill, A.Bundy}@ed.ac.uk Abstract Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-10-02 09:04:19
32	A graphical strategy language for proof re-use Gudmund Grov Heriot-Watt University with contributions from: Lucas Dixon, Alan Bundy, Ewen Maclean & other AI4FM project partners Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:45 Herstal Isabelle FN Conjecture Transport Economy of Belgium
33	SRL challenge: Extracting proof strategies from exemplar proofs Gudmund Grov, Katya Komendantskaya, Alan Bundy Statistical Relational Learning Workshop 30 June 2012 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:45 Theoretical computer science Software Logic Proof assistants Automated theorem proving Formal systems Logical truth Proof theory Isabelle ACL2 Coq Proof
34	Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic Lucas Dixon and Alan Smaill and Alan Bundy School of Informatics, University of Edinburgh, UK {L.Dixon, A.Smaill, A.Bundy}@ed.ac.uk Abstract Add to Reading List Source URL: www-vvps09.imag.fr Language: English - Date: 2009-08-25 03:10:48
35	Extensions to the Estimation Calculus Jeremy Gow, Alan Bundy and Ian Green Institute for Representation and Reasoning, Division of Informatics, University of Edinburgh, 80 South Bridge, Edinburgh EH1 1HN, Scotland jeremy Add to Reading List Source URL: web4.cs.ucl.ac.uk Language: English - Date: 2004-06-17 10:27:16
36	Typed Meta-Interpretive Learning for Proof Strategies Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen Muggleton & Alan Bundy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Grammar Linguistics Mathematical logic Syntax FO Finite model theory Argument Lambda calculus Predicate Functional predicate
37	CLASE 2005 Preliminary Version Constructing Induction Rules for Deductive Synthesis Proofs Alan Bundy† 1,2 Lucas Dixon† 3 Jeremy Gow‡ 4 Jacques Fleuriot† 5 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-05-19 12:03:26 Mathematics Mathematical logic Theoretical computer science Computability theory Theory of computation Recursion Type theory Structural induction Mathematical induction Rippling Nqthm Constructible universe
38	The Interaction of Representation and Reasoning Alan Bundy School of Informatics, University of Edinburgh UK Ontology Network Meeting Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2013-04-10 08:08:24 Automated theorem proving Logic programming Unification
39	Awards and Distinguished Papers Add to Reading List Source URL: ijcai.org Language: English - Date: 2011-06-29 06:49:55 Year of birth missing Turing Award laureates International Joint Conference on Artificial Intelligence Fellows of the British Computer Society Canada Research Chairs IJCAI Computers and Thought Award Alan Bundy Raymond Reiter Sarit Kraus Artificial intelligence Science Academia
40	Wie is je AI held? Frank van Harmelen over Alan Bundy Add to Reading List Source URL: www.cs.vu.nl Language: Dutch - Date: 2009-08-29 15:33:39